Language and Computation - PDFSEARCH.IO - Document Search Engine

Language and Computation
Results: 343

#	Item
261	xCoAx 2013: Proceedings of the first conference on Computation, Communication, Aesthetics and X Add to Reading List Source URL: 2013.xcoax.org Language: English - Date: 2013-05-23 05:13:44 Philosophy of science Scientific method Serendipity Translation Software Computing Browse Representational state transfer Personalization Science Synchronicity Language comparison
262	An Approach to Logic Programming of Intelligent Agents for Searching and Recognizing Information on the Internet1 A. A. Morozov and Yu. V. Obukhov Institute of Radio Engineering and Electronics, Russian Academy of Scienc Add to Reading List Source URL: www.cplire.ru Language: English - Date: 2007-09-24 06:53:35 Logic programming Prolog Oz Logic Actor model Programming language First-order logic Indeterminacy in concurrent computation Logtalk Software engineering Computing Computer programming
263	Theory of computation: Summary of main concepts 3. Finite automata and regular languages: theory State Minimization Add to Reading List Source URL: www.jn.inf.ethz.ch Language: English - Date: 2005-11-28 16:45:08 Combinatorics Mathematics Regular expression Alphabet Finite-state machine Regular language Theory of computation Kleene star Nondeterministic finite automaton Automata theory Formal languages Theoretical computer science
264	Theory of computation: Summary of main concepts 5. Context-free languages, grammars and pushdown automata fsm Add to Reading List Source URL: www.jn.inf.ethz.ch Language: English - Date: 2005-11-28 16:45:10 Models of computation Computer science Context-free language Deterministic pushdown automaton Pushdown automaton Context-free grammar Theory of computation SC CYK algorithm Formal languages Theoretical computer science Automata theory
265	Name: Sebastian Link August 2, 2010 Publications Completed Degrees Add to Reading List Source URL: slink.foiks.org Language: English - Date: 2010-08-01 17:32:41 Knowledge Lecture Notes in Computer Science Systems theory International Standard Serial Number Information Bernhard Thalheim Science Workshop on Logic Language Information and Computation Dependency theory
266	IF: An Intermediate Representation for SDL and its Applications Marius Bozga , Jean-Claude Fernandez , Lucian Ghirvu , Susanne Graf , Jean-Pierre Krimm , Laurent Mounier and Joseph Sifakis VERIMAG, Centre Equation, 2 a Add to Reading List Source URL: www-verimag.imag.fr Language: English - Date: 2012-12-31 04:25:31 Electronics Finite-state machine State transition system Verilog Transition Token ring Timer Specification and Description Language Models of computation Electronic engineering Computing
267	VSNUlogoPMS-Z (geschikt voor drukwerk) Add to Reading List Source URL: www.euraxess.nl Language: English - Date: 2011-04-18 08:12:06 Institute for Logic Language and Computation Leiden University Radboud University Nijmegen University of Amsterdam Nijmegen Higher education Henkjan Honing Provinces of the Netherlands Coimbra Group Academia
268	High-level Petri Nets - Concepts, Definitions and Graphical Notation Final Draft International Standard ISO/IEC[removed]Version[removed]October 28, 2000 Contents Add to Reading List Source URL: www.petrinets.info Language: English - Date: 2002-09-14 01:55:30 Concurrency Formal methods Software engineering Computer science Algebraic Petri nets Petri State diagram Multiset Petri Net Markup Language Petri nets Models of computation Diagrams
269	High-level Petri Nets - Concepts, Definitions and Graphical Notation Final Draft International Standard ISO/IEC[removed]Version[removed]May 10, 2002 Contents Add to Reading List Source URL: www.petrinets.info Language: English - Date: 2003-01-10 02:18:16 Formal methods Concurrency Software engineering Computer science Algebraic Petri nets Petri State diagram Petri Net Markup Language TAPAAL Model Checker Petri nets Models of computation Diagrams
270	Summary and Disposition of Comments for FCD15909 Date: 17 May 2001 From: Editor of Project[removed] Add to Reading List Source URL: www.petrinets.info Language: English - Date: 2003-01-10 02:18:20 Models of computation Concurrency Diagrams Petri nets Algebraic Petri nets Multiset SQL ALGOL 68 Model theory Software engineering Computing Programming language theory

UPDATE